About counter concurrent flows with general conjugation conditions
نویسندگان
چکیده
منابع مشابه
Symbolic Counter Abstraction for Concurrent Software
Abstract. The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. We show how to apply counter abstraction to real-world concurrent programs to factor out redundancy due to thread replication. The traditional global state r...
متن کاملCascaded lattice Boltzmann method for incompressible thermal flows with heat sources and general thermal boundary conditions
Cascaded or central-moment-based lattice Boltzmann method (CLBM) is a relatively recent development in the LBM community, which has better numerical stability and naturally achieves better Galilean invariance for a specified lattice compared with the classical single-relation-time (SRT) LBM. Recently, CLBM has been extended to simulate thermal flows based on the double-distribution-function (DD...
متن کاملReasoning about Concurrent Objects
Embedded speciications in object-oriented languages such as Eiiel are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. Such speciications are not limited to functional and interface aspects but extend to complexity and, more generally, quantitative aspects in a straightforward way. However concurrent object-oriented languages are still in th...
متن کاملReasoning about Concurrent Indexes
Index data structures such as B+ trees and hash tables are used widely as the core of databases andfile systems. In a world where concurrent systems are common as servers and largely increasing aspersonal computers, we need a way to make sure concurrent implementations do not contain bugs.We use the fact that multiple implementations share a common high-level specification and use<l...
متن کاملRumours with General Initial Conditions
An analysis is made of the Daley-Kendall and Maki-Thompson rumour models starting from general initial proportions of ignorants, spreaders and stiflers in the population. We investigate as a function of the initial conditions the composition of the final population when the rumour has run its course.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2019
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1268/1/012059